C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·20h·
Discuss: Hacker News
📏Linear Types
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
📐Formal Methods
Lobsters Interview with Susam
lobste.rs·1h·
Discuss: Lobsters
📏Linear Types
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·17h·
Discuss: Hacker News
📐Formal Methods
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·2d·
Discuss: Hacker News, r/cpp
📏Linear Types
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
📏Linear Types
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
📏Linear Types
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
📐Formal Methods
Death to Type Classes
jappie.me·4h·
Discuss: Hacker News
📏Linear Types
The Elements of Programming Style
en.wikipedia.org·4h·
Discuss: Hacker News
📏Linear Types
DHH is immortal, and costs $200M
danieltenner.com·2h·
Discuss: Hacker News
🏹Apache Arrow
Dicio: Open-Source Voice Assistant for Android
github.com·22h·
Discuss: Hacker News
📦Data Serialization
The Rise of Async Programming
braintrust.dev·1d·
Discuss: Hacker News, r/programming
📊Performance Profiling
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.com·1d
📐Formal Methods
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
📏Linear Types
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·1d·
Discuss: Hacker News
📏Linear Types
Effects as Capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
📏Linear Types
An Introduction to XForms
xml.com·3d·
Discuss: Hacker News
📏Linear Types
LLM-Generated Rules Engines for LLM Explainability
brain.co·4h·
Discuss: Hacker News
📐Formal Methods
The Data Backbone of LLM Systems
infoq.com·23h·
Discuss: Lobsters
🗃️Database Internals